HADDAD, Serge : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (88)
Les plus populaires
Liste
- Liste
- Tableau

1

The Kahnawake Schools Diabetes Prevention Project: Intervention, Evaluation, and Baseline Results of a Diabetes Primary Prevention Program with a Native Community in Canada

Ann C. Macaulay, Gilles Paradis, Louise Potvin, Edward J. Cross, Chantal Saad-Haddad, Alex McComber, Serge Desrosiers, Rhonda Kirby, Louis T. Montour, Donna L. Lamping, Nicole Leduc, Michèle Rivard

Journal:

Preventive Medicine

Année:

1997

Langue:

english

Fichier:

PDF, 164 KB

english, 1997

2

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Ballarini, Paolo, Barbot, Benoît, Duflot, Marie, Haddad, Serge, Pekergin, Nihal

Journal:

Performance Evaluation

Année:

2015

Langue:

english

Fichier:

PDF, 1.78 MB

english, 2015

3

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Real Time Properties for Interrupt Timed Automata

Berard, Beatrice, Haddad, Serge, Sassolas, Mathieu

Année:

2010

Langue:

english

Fichier:

PDF, 239 KB

english, 2010

4

[IEEE 2010 IEEE Symposium on Computers and Communications (ISCC) - Riccione, Italy (2010.06.22-2010.06.25)] The IEEE symposium on Computers and Communications - Response time of BPEL4WS constructors

Haddad, Serge, Mokdad, Lynda, Youcef, Samir

Année:

2010

Langue:

english

Fichier:

PDF, 623 KB

english, 2010

5

New Efficient Petri Nets Reductions for Parallel Programs Verification

HADDAD, Serge, PRADAT-PEYRE, Jean-François

Journal:

Parallel Processing Letters

Année:

2006

Langue:

english

Fichier:

PDF, 876 KB

english, 2006

6

Redox-Active Carbohydrate-Coated Nanoparticles: Self-Assembly of a Cyclodextrin–Polystyrene Glycopolymer with Tetrazine–Naphthalimide

Gross, Andrew J., Haddad, Raoudha, Travelet, Christophe, Reynaud, Eric, Audebert, Pierre, Borsali, Redouane, Cosnier, Serge

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 707 KB

english, 2016

7

Memoryless determinacy of finite parity games: Another simple proof

Journal:

Information Processing Letters

Année:

2018

Langue:

english

Fichier:

PDF, 253 KB

english, 2018

8

Implementation Fidelity of the National Malaria Control Program in Burkina Faso

Ridde, Valéry, Druetz, Thomas, Poppy, Serge, Kouanda, Seni, Haddad, Slim, Keating, Joseph A.

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2013

9

Tris(bispyrene-bipyridine)iron(II): A Supramolecular Bridge for the Biofunctionalization of Carbon Nanotubes via π-Stacking and Pyrene/β-Cyclodextrin Host–Guest Interactions

Dr. Alan Le Goff, Dr. Karine Gorgy, Dr. Michael Holzinger, Dr. Raoudha Haddad, Marc Zimmerman, Dr. Serge Cosnier

Journal:

Chemistry - A European Journal

Année:

2011

Langue:

english

Fichier:

PDF, 726 KB

english, 2011

10

Sub-stochastic matrix analysis for bounds computation—Theoretical results

Serge Haddad, Patrice Moreaux

Journal:

European Journal of Operational Research

Année:

2007

Langue:

english

Fichier:

PDF, 261 KB

english, 2007

11

Pyrene-adamantane-β-cyclodextrin: An efficient host–guest system for the biofunctionalization of SWCNT electrodes

Raoudha Haddad, Michael Holzinger, Reynaldo Villalonga, Astrid Neumann, Jaan Roots, A. Maaref, Serge Cosnier

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 728 KB

english, 2011

12

Tailoring of optical phonon modes in nanoscale semiconductor structures: role of interface-optical phonons in quantum-well lasers

Gregory Belenky, Mitra Dutta, Vera B. Gorfinkel, George I. Haddad, G.J. Iafrate, K.W. Kim, Mikhail Kisin, Serge Luryi, Michael A. Stroscio, J.P. Sun, H.B. Teng, SeGi Yu

Journal:

Physica B: Condensed Matter

Année:

1999

Langue:

english

Fichier:

PDF, 93 KB

english, 1999

13

A Review of Traditional Remedies of Ciguatera Fish Poisoning in the Pacific

Shilpa Kumar-Roiné, H. Taiana Darius, Mariko Matsui, Nicolas Fabre, Mohamed Haddad, Mireille Chinain, Serge Pauillac, Dominique Laurent

Journal:

Phytotherapy Research

Année:

2011

Langue:

english

Fichier:

PDF, 470 KB

english, 2011

14

Recursive Petri nets

Serge Haddad, Denis Poitrenaud

Journal:

Acta Informatica

Année:

2007

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2007

15

Interrupt Timed Automata: verification and expressiveness

Béatrice Bérard, Serge Haddad, Mathieu Sassolas

Journal:

Formal Methods in System Design

Année:

2012

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2012

16

Timed Petri nets and timed automata: On the discriminating power of zeno sequences

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Journal:

Information and Computation

Année:

2008

Langue:

english

Fichier:

PDF, 931 KB

english, 2008

17

Multiple functionalization of single-walled carbon nanotubes by dip coating

Holzinger, Michael, Baur, Jessica, Haddad, Raoudha, Wang, Xu, Cosnier, Serge

Journal:

Chemical Communications

Année:

2011

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2011

18

Uterine Doppler wave form and the prediction of the recurrence of pre-eclampsia and intra-uterine growth retardation in patients treated with low-dose aspirin

Bassam Haddad, Michèle Uzan, Gérard Bréart, Serge Uzan

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Année:

1995

Langue:

english

Fichier:

PDF, 426 KB

english, 1995

19

[ACM Press the first international joint conference - Bologna, Italy (2002.07.15-2002.07.19)] Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 - Open protocol design for complex interactions in multi-agent systems

Mazouzi, Hamza, Seghrouchni, Amal El Fallah, Haddad, Serge

Année:

2002

Langue:

english

Fichier:

PDF, 338 KB

english, 2002

20

The HOXB4 Homeoprotein Differentially Promotes Ex Vivo Expansion of Early Human Lymphoid Progenitors

Rima Haddad, Françoise Pflumio, Isabelle Vigon, Géraldine Visentin, Céline Auvray, Serge Fichelson, Sophie Amsellem

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 952 KB

english, 2008

21

Microsatellite Instability as a Prognostic Factor in Resected Colorectal Cancer Liver Metastases

Riad Haddad, Robert T. Ogilvie, Marina Croitoru, Victoria Muniz, Robert Gryfe, Aaron Pollet, Preshanthini Shanmugathasan, Timothy Fitzgerald, Calvin H. L. Law, Sherif S. Hanna, Serge Jothy, Mark Redst

Journal:

Annals of Surgical Oncology

Année:

2004

Langue:

english

Fichier:

PDF, 251 KB

english, 2004

22

Performance of a Carboxydothermus hydrogenoformans-immobilizing membrane reactor for syngas upgrading into hydrogen

Zhao, Ya, Haddad, Mathieu, Cimpoia, Ruxandra, Liu, Zhijun, Guiot, Serge R.

Journal:

International Journal of Hydrogen Energy

Année:

2013

Langue:

english

Fichier:

PDF, 753 KB

english, 2013

23

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || On Profiles and Footprints – Relational Semantics for Petri Nets

Haddad, Serge, Pomello, Lucia

Année:

2012

Langue:

english

Fichier:

PDF, 358 KB

english, 2012

24

Distributed Systems (Design and Algorithms) || Introduction

Haddad, Serge, Kordon, Fabrice, Pautet, Laurent, Petrucci, Laure

Année:

2013

Langue:

english

Fichier:

PDF, 110 KB

english, 2013

25

Bounding models families for performance evaluation in composite Web services

Haddad, Serge, Mokdad, Lynda, Youcef, Samir

Journal:

Journal of Computational Science

Année:

2013

Langue:

english

Fichier:

PDF, 975 KB

english, 2013

26

In situ synthesis of stable mixed ligand Fe2+ complexes on bipyridinyl functionalized electrodes and nanotube supports

Haddad, Raoudha, Gorgy, Karine, Holzinger, Michael, Cosnier, Serge

Journal:

Chemical Communications

Année:

2012

Langue:

english

Fichier:

PDF, 1.16 MB

english, 2012

27

Growth profile ofCarboxydothermus hydrogenoformanson pyruvate

Haddad, Mathieu, Cimpoia, Ruxandra, Zhao, Ya, Guiot, Serge R

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 205 KB

english, 2013

28

Vibrational spectroscopic study of ionic liquids: Comparison between monocationic and dicationic imidazolium ionic liquids

Moumene, Taqiyeddine, Belarbi, El Habib, Haddad, Boumediene, Villemin, Didier, Abbas, Ouissam, Khelifa, Brahim, Bresson, Serge

Journal:

Journal of Molecular Structure

Année:

2014

Langue:

english

Fichier:

PDF, 630 KB

english, 2014

29

Performance of Carboxydothermus hydrogenoformans in a gas-lift reactor for syngas upgrading into hydrogen

Haddad, Mathieu, Cimpoia, Ruxandra, Guiot, Serge R.

Journal:

International Journal of Hydrogen Energy

Année:

2014

Langue:

english

Fichier:

PDF, 650 KB

english, 2014

30

MWCNT-supported phthalocyanine cobalt as air-breathing cathodic catalyst in glucose/O2 fuel cells

Elouarzaki, Kamal, Haddad, Raoudha, Holzinger, Michael, Le Goff, Alan, Thery, Jessica, Cosnier, Serge

Journal:

Journal of Power Sources

Année:

2014

Langue:

english

Fichier:

PDF, 660 KB

english, 2014

31

Ordinal theory for expressiveness of well-structured transition systems

Bonnet, Rémi, Finkel, Alain, Haddad, Serge, Rosa-Velardo, Fernando

Journal:

Information and Computation

Année:

2013

Langue:

english

Fichier:

PDF, 527 KB

english, 2013

32

Participatory Research with Native Community of Kahnawake Creates Innovative Code of Research Ethics

Ann C. Macaulay, Treena Delormier, Alex M. McComber, Edward J. Cross, Louise P. Potvin, Gilles Paradis, Rhonda L. Kirby, Chantal Saad-Haddad and Serge Desrosiers

Journal:

Canadian Journal of Public Health / Revue Canadienne de Sante'e Publique

Année:

1998

Langue:

english

Fichier:

PDF, 926 KB

english, 1998

33

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || P- and T-Systems in the Nets-within-Nets-Formalism

Haddad, Serge, Pomello, Lucia

Année:

2012

Langue:

english

Fichier:

PDF, 353 KB

english, 2012

34

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || Nets-within-Nets to Model Innovative Space System Architectures

Haddad, Serge, Pomello, Lucia

Année:

2012

Langue:

english

Fichier:

PDF, 2.91 MB

english, 2012

35

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || Data and Abstraction for Scenario-Based Modeling with Petri Nets

Haddad, Serge, Pomello, Lucia

Année:

2012

Langue:

english

Fichier:

PDF, 386 KB

english, 2012

36

The Relationship Between Porphyromonas gingivalis Infection and Local and Systemic Factors in Children

Bimstein, Enrique, Sapir, Shabetai, Houri-Haddad, Yael, Dibart, Serge, Van Dyke, Thomas E., Shapira, Lior

Journal:

Journal of Periodontology

Année:

2004

Langue:

english

Fichier:

PDF, 115 KB

english, 2004

37

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets

Haddad, Serge, Schmitz, Sylvain, Schnoebelen, Philippe

Année:

2012

Langue:

english

Fichier:

PDF, 333 KB

english, 2012

38

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - A framework to design and solve Markov Decision Well-formed Net models

Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, Serge

Année:

2007

Langue:

english

Fichier:

PDF, 183 KB

english, 2007

39

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Berard, Beatrice, Haddad, Serge, Messan Hillah, Lom, Kordon, Fabrice, Thierry-Mieg, Yann

Année:

2008

Langue:

english

Fichier:

PDF, 195 KB

english, 2008

40

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - Parametric NdRFT for the derivation of optimal repair strategies

Beccuti, Marco, Franceschinis, Giuliana, Haddad, Serge

Année:

2009

Langue:

english

Fichier:

PDF, 390 KB

english, 2009

41

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

Haddad, Serge, Pekergin, Nihal

Année:

2009

Langue:

english

Fichier:

PDF, 305 KB

english, 2009

42

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - CSL^TA: an Expressive Logic for Continuous-Time Markov Chains

Donatelli, Susanna, Haddad, Serge, Sproston, Jeremy

Année:

2007

Langue:

english

Fichier:

PDF, 334 KB

english, 2007

43

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic

Ballarini, Paolo, Djafri, Hilal, Duflot, Marie, Haddad, Serge, Pekergin, Nihal

Année:

2011

Langue:

english

Fichier:

PDF, 221 KB

english, 2011

44

[IEEE 2011 IEEE International Conference on Automation Science and Engineering (CASE 2011) - Trieste, Italy (2011.08.24-2011.08.27)] 2011 IEEE International Conference on Automation Science and Engineering - Petri nets compositional modeling and verification of Flexible Manufacturing Systems

Ballarini, Paolo, Djafri, Hilal, Duflot, Marie, Haddad, Serge, Pekergin, Nihal

Année:

2011

Langue:

english

Fichier:

PDF, 580 KB

english, 2011

45

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency IX Volume 8910 ||

Koutny, Maciej, Haddad, Serge, Yakovlev, Alex

Année:

2014

Langue:

english

Fichier:

PDF, 11.69 MB

english, 2014

46

Study of imidazolium dicationic ionic liquids by Raman and FTIR spectroscopies: The effect of the nature of the anion

Moumene, Taqiyeddine, Belarbi, El Habib, Haddad, Boumediene, Villemin, Didier, Abbas, Ouissam, Khelifa, Brahim, Bresson, Serge

Journal:

Journal of Molecular Structure

Année:

2015

Langue:

english

Fichier:

PDF, 859 KB

english, 2015

47

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Efficient state-based analysis by introducing bags in Petri nets color domains

Haddad, Serge, Kordon, Fabrice, Petrucci, Laure, Pradat-Peyre, Jean-Francois, Treves, Leolas

Année:

2009

Langue:

english

Fichier:

PDF, 3.53 MB

english, 2009

48

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency IX Volume 8910 || Software Engineering with Petri Nets: A Web Service and Agent Perspective

Koutny, Maciej, Haddad, Serge, Yakovlev, Alex

Année:

2014

Langue:

english

Fichier:

PDF, 4.03 MB

english, 2014

49

CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES

RECALDE, LAURA, HADDAD, SERGE, SILVA, MANUEL

Journal:

International Journal of Foundations of Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 504 KB

english, 2010

50

Granulomatous Myositis and Myopathy Associated with Crohn's Colitis

Ménard, Daniel B., Haddad, Henry, Blain, J.G., Beaudry, René, Devroede, Ghislain, Massé, Serge

Journal:

Boston Medical and Surgical Journal

Année:

1976

Fichier:

PDF, 1.09 MB

1976